derivative of arctan x